Oliver Kopp , Niels Lohmann ( Hrsg . )

نویسندگان

  • Oliver Kopp
  • Niels Lohmann
  • Kathrin Kaschner
  • Ganna Monakova
  • Olivia Oanea
  • Karsten Wolf
  • Dirk Fahland
چکیده

We outline a fundamental approach to behavioral aspects of services. In the center of this approach, we see behavioral models of services, interactions, and finite representations of sets thereof. Several operations and relations can be defined and their implementation on our representations can be studied. Finally, a number of interesting problems can be traced back to our models and operations. On the boundary of our theory, we place interfaces to other aspects of services.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Oliver Kopp , Niels Lohmann ( Eds . ) Services and their Composition 5 th Central European Workshop , ZEUS 2013

We present an extension of our previously introduced technique for unfolding conditional control flow in extended workflow graphs. This technique allows for a more precise process-to-Petri-net-mapping which is crucial for business process verification. Our new technique derives data flow information about the state space of process data by means of predicate clauses using a novel CSSA-Form-base...

متن کامل

Oliver Kopp , Niels Lohmann ( Eds . ) Services and their Composition 5 th Central European Workshop , ZEUS 2013 Rostock , Germany , 21 – 22 February 2013

We present an extension of our previously introduced technique for unfolding conditional control flow in extended workflow graphs. This technique allows for a more precise process-to-Petri-net-mapping which is crucial for business process verification. Our new technique derives data flow information about the state space of process data by means of predicate clauses using a novel CSSA-Form-base...

متن کامل

Tools 4 BPEL 4 Chor

Oryx: Modeling Service Choreographies. Oryx is a graphical editing framework written in JavaScript developed at the Hassso-Plattner-Institute. A BPMN editor and a BPMN to BPEL4Chor transformation has been developed so that a BPEL4Chor choreography can be modeled using configured BPMN [2]. That enables business users to graphically model choreographies without the need of writing XML code themse...

متن کامل

Services and Their Composition Steering Committee Local Organizers, Program Committee Co-chairs Program Committee a Framework for Interactive Exception Management of Long-term a Domain-specific Modeling Tool to Model Management Plans for Compilation of Bpmn-based Integration Flows

Enterprise Application Integration plays an integral role for the communication between applications not only in service-oriented architectures. However, their modeling and configuration remain underrepresented. In previous work, the integration control and data flow syntax and semantics have been expressed in the Business Process Model and Notation (BPMN) as a semantic model for message-based ...

متن کامل

Analyzing BPEL4Chor: Verification and Participant Synthesis

Choreographies offer means to capture global interactions between business processes of different partners. BPEL4Chor has been introduced to describe these interactions using BPEL. Currently, there are no formal methods available to verify BPEL4Chor choreographies. In this paper, we present how BPEL4Chor choreographies can be verified using Petri nets. A case study undermines that our verificat...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009